
.CodeMirror {
    border: 1px solid $border;
}

.CodeMirror-scroll {
    box-shadow: inset 0 2px 5px rgba(0, 0, 0, 0.15);
    background: #fafafa;
}

.CodeMirror-lint-tooltip {
    z-index: 99999 !important;
}
